Samson Abramsky - PDFSEARCH.IO - Document Search Engine

Samson Abramsky
Results: 30

#	Item
11	Contextuality, Cohomology and Paradox Samson Abramsky Joint work with Rui Soares Barbosa, Kohei Kishida, Ray Lal and Shane Mansfield Department of Computer Science, University of Oxford Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-02-08 21:50:20 Mathematics Samson Abramsky Philosophical logic Abramsky Cohomology Logic Paradox Sheaf Abstract algebra Algebraic topology Topology
12	Faculty of Computer Science & Technology REVIEW OF THE YEARPersonnel Dr Stephen Clark was appointed to a University Senior Lectureship in Natural Language and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-11-25 12:36:36 Fellows of the British Computer Society Acorn Computers United Kingdom Andy Hopper Lawrence Paulson Maurice Wilkes Steve Furber Samson Abramsky University of Cambridge Computer Laboratory Fellows of the Royal Society Science and technology in the United Kingdom British people
13	The Topology Of Non-Locality and Contextuality Samson Abramsky Joint work with Adam Brandenburger Samson Abramsky Joint work with Adam BrandenburgerThe () Topology Of Non-Locality and Contextuality Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:21 Kochen–Specker theorem Quantum entanglement Sheaf De Broglie–Bohm theory Samson Abramsky Mathematics Physics Quantum mechanics Philosophy of physics
14	Dedicated to the many bright young theoretical physicists that failed to escape the fate of having to work in institutions like banks. Preface New? In what sense? Surely I am not the only person who, after extensively Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-09-17 09:21:15 Classes of computers Models of computation Higher category theory Quantum field theory Topology Quantum computer Quantum mechanics Samson Abramsky Topological quantum computer Category theory Mathematics Physics
15	InspiredResearch Winter 2013 Issue 4 Research News from the Department of Computer Science, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-01-21 12:54:58 Bacteria Biofilm Biological matter Environmental microbiology Environmental soil science Samson Abramsky Department of Computer Science University of Oxford Berkeley Open Infrastructure for Network Computing Computer science Microbiology Biology Theoretical computer science
16	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science
17	Computing Science Group Coalgebras, Chu Spaces, and Representations of Physical Systems Samson Abramsky Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:15 Mathematics Coalgebra F-coalgebra Functor Chu space Natural transformation Fibred category Concrete category Sheaf Category theory Abstract algebra Algebra
18	A Cook’s Tour of the Finitary Non-Well-Founded Sets Samson Abramsky Oxford University Computing Laboratory 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:32 Boolean algebra Order theory Algebraic structures General topology Algebraic logic Metric space Ultrafilter Filter Algebra Mathematics Structure Mathematical logic
19	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
20	Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson Abramsky Oxford University Computing Laboratory This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:50 Mathematics Braided monoidal category Petri net Monoid PRO Penrose graphical notation Linear logic Tensor product Tensor Category theory Algebra Monoidal categories